Handbook of logic in computer science Vol. 5, Logic and algebraic methods
- Författare
- T. S. E. Maibaum Dov M. Gabbay S. Abramsky
- (Bibliography.)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Clarendon Press | 2000 | Storbritannien, Oxford | xviii, 537 sidor. ill. |